[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306 }

B grade: { }

C grade: { }

F grade: { 276 }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 120, 122, 124, 126, 127, 129, 131, 133, 136, 145, 146, 147, 148, 150, 154, 155, 160, 161, 162, 163, 165, 166, 167, 168, 169, 170, 174, 175, 176, 177, 179, 180, 181, 185, 186, 187, 188, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 228, 230, 231, 232, 249, 250, 252, 253, 254, 256, 257, 258, 259, 263, 264, 265, 266, 267, 269, 270, 271, 273, 274, 277, 278, 279, 280, 281, 283, 285, 293, 295, 297, 299, 300, 302, 304, 306 }

B grade: { 6, 32, 33, 34, 35, 36, 37, 51, 52, 53, 54, 55, 56, 70, 71, 72, 73, 140, 141, 142, 143, 144, 149, 151, 156, 157, 158, 159, 164, 178, 182, 183, 184, 189, 190, 191, 192, 193, 194, 195, 229, 260, 261, 262, 268, 272, 275, 276 }

C grade: { 14, 15, 16, 17, 18, 114, 115, 116, 117, 118, 119, 121, 123, 125, 128, 130, 132, 134, 135, 138, 152, 153, 171, 172, 173, 226, 227, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 251, 255, 282, 284, 286, 287, 288, 289, 290, 291, 292, 294, 296, 298, 301, 303, 305 }

F grade: { 137, 139 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 57, 58, 59, 60, 61, 62, 63, 64, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 219, 220, 221, 222, 223, 224, 225, 226, 227, 231, 232, 239, 245, 246, 247, 248, 249, 253, 263, 264, 265, 266, 267, 273, 274, 277, 278, 279, 280 }

B grade: { 55, 56, 65, 66, 67, 68, 84, 100, 203, 204, 205, 216, 217, 218, 228, 229, 230, 233, 234, 235, 236, 237, 238, 240, 241, 242, 243, 244, 250, 251, 252, 254, 255, 256 }

C grade: { 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306 }

F grade: { 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 257, 258, 259, 260, 261, 262, 268, 269, 270, 271, 272, 275, 276 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 69, 70, 74, 75, 76, 77, 78, 79, 80, 81, 82, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 103, 104, 105, 106, 107, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 209, 210, 211, 212, 213, 214, 221, 222, 223, 224, 225, 226, 263, 264, 265, 266, 267, 273, 274, 277, 278, 279, 280 }

B grade: { 65, 66, 67, 68, 71, 72, 73, 83, 84, 85, 86, 100, 101, 102, 215, 227 }

C grade: { }

F grade: { 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 203, 204, 205, 206, 207, 208, 216, 217, 218, 219, 220, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 268, 269, 270, 271, 272, 275, 276, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 44, 45, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 74, 75, 76, 77, 78, 79, 80, 81, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 100, 101, 102, 103, 104, 105, 106, 107, 160, 161, 162, 163, 164, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 203, 204, 205, 206, 207, 209, 210, 211, 212, 213, 216, 217, 218, 219, 220, 221, 222, 223, 224, 228, 229, 230, 231, 232, 263, 264, 265, 266, 267, 273, 274, 277, 278, 279, 280 }

B grade: { 9, 16, 17, 18, 28, 37, 46, 47, 64, 71, 72, 73, 82, 97, 98, 99, 165, 166, 167, 202, 208, 214, 215, 225, 226, 227 }

C grade: { }

F grade: { 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 268, 269, 270, 271, 272, 275, 276, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306 }

2.1.6 Sympy

A grade: { 264, 265, 266, 274, 278, 279, 280 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 267, 268, 269, 270, 271, 272, 273, 275, 276, 277, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306 }

2.1.7 Giac

A grade: { 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39, 41, 42, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 78, 79, 80, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 162, 163, 168, 175, 176, 177, 180, 186, 187, 191, 193, 194, 195, 198, 199, 200, 201, 206, 211, 212, 216, 217, 218, 219, 220, 223, 224, 229, 231, 232, 263, 264, 265, 266, 267, 273, 274, 277, 278, 279, 280 }

B grade: { 1, 2, 3, 19, 20, 21, 24, 38, 40, 43, 44, 76, 77, 81, 93, 160, 161, 164, 165, 166, 167, 169, 170, 171, 172, 173, 174, 178, 179, 181, 182, 183, 184, 185, 188, 189, 190, 192, 196, 197, 202, 203, 204, 205, 207, 208, 209, 210, 213, 214, 215, 221, 222, 225, 226, 227, 228, 230 }

C grade: { }

F grade: { 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 268, 269, 270, 271, 272, 275, 276, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306 }

2.1.8 Mupad

A grade: { 263, 264, 265, 266, 267, 273, 274, 277, 278, 279, 280 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 148, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 270 }

C grade: { }

F grade: { 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 268, 269, 271, 272, 275, 276, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 106 163 113 115 0 293 111
normalized size 1 1.00 0.70 1.07 0.74 0.76 0.00 1.93 0.73
time (sec) N/A 0.107 0.219 0.668 0.337 1.705 0.000 0.252 0.131
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 86 129 91 93 0 247 89
normalized size 1 1.00 0.72 1.08 0.76 0.78 0.00 2.08 0.75
time (sec) N/A 0.097 0.139 0.614 0.618 0.717 0.000 0.242 0.079
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 83 95 69 71 0 201 67
normalized size 1 1.00 0.95 1.09 0.79 0.82 0.00 2.31 0.77
time (sec) N/A 0.087 0.087 0.595 0.388 0.510 0.000 0.583 0.056
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 57 61 47 49 0 66 45
normalized size 1 1.00 0.98 1.05 0.81 0.84 0.00 1.14 0.78
time (sec) N/A 0.077 0.058 0.609 0.619 0.523 0.000 0.357 0.063
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 37 28 23 25 0 32 20
normalized size 1 1.00 1.42 1.08 0.88 0.96 0.00 1.23 0.77
time (sec) N/A 0.031 0.020 0.204 0.349 0.512 0.000 1.452 0.038
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 63 15 26 31 0 58 17
normalized size 1 1.00 2.10 0.50 0.87 1.03 0.00 1.93 0.57
time (sec) N/A 0.058 0.035 0.362 0.353 0.481 0.000 0.500 0.124
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 114 48 52 93 0 102 53
normalized size 1 1.00 1.56 0.66 0.71 1.27 0.00 1.40 0.73
time (sec) N/A 0.095 0.843 0.590 0.355 0.487 0.000 0.425 0.963
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 164 80 95 193 0 149 99
normalized size 1 1.00 1.39 0.68 0.81 1.64 0.00 1.26 0.84
time (sec) N/A 0.120 0.358 0.473 0.517 0.742 0.000 0.307 0.099
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 165 112 136 307 0 196 142
normalized size 1 1.00 1.01 0.69 0.83 1.88 0.00 1.20 0.87
time (sec) N/A 0.150 0.460 0.460 0.450 0.775 0.000 0.315 0.994
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 106 164 127 123 0 174 150
normalized size 1 1.00 0.64 0.99 0.77 0.75 0.00 1.05 0.91
time (sec) N/A 0.146 0.348 0.692 0.346 1.667 0.000 2.320 1.144
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 86 130 106 102 0 146 120
normalized size 1 1.00 0.68 1.02 0.83 0.80 0.00 1.15 0.94
time (sec) N/A 0.128 0.195 0.684 0.474 0.768 0.000 0.843 1.047
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 86 96 81 79 0 118 90
normalized size 1 1.00 0.97 1.08 0.91 0.89 0.00 1.33 1.01
time (sec) N/A 0.111 0.119 0.606 0.612 0.701 0.000 0.963 1.025
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 54 62 59 55 0 88 80
normalized size 1 1.00 1.06 1.22 1.16 1.08 0.00 1.73 1.57
time (sec) N/A 0.082 0.057 0.285 0.325 0.652 0.000 0.267 1.069
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 41 47 50 63 0 50 29
normalized size 1 1.00 1.11 1.27 1.35 1.70 0.00 1.35 0.78
time (sec) N/A 0.093 0.030 0.602 0.365 0.657 0.000 0.341 0.961
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 69 81 76 108 0 79 65
normalized size 1 1.00 1.00 1.17 1.10 1.57 0.00 1.14 0.94
time (sec) N/A 0.103 0.029 0.726 0.421 0.723 0.000 0.238 0.983
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 91 115 96 190 0 107 97
normalized size 1 1.00 0.90 1.14 0.95 1.88 0.00 1.06 0.96
time (sec) N/A 0.110 0.033 0.727 0.375 0.549 0.000 0.280 1.005
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 113 149 116 281 0 136 128
normalized size 1 1.00 0.86 1.14 0.89 2.15 0.00 1.04 0.98
time (sec) N/A 0.117 0.051 0.813 0.451 0.628 0.000 0.620 1.166
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 135 183 136 366 0 164 159
normalized size 1 1.00 0.82 1.11 0.82 2.22 0.00 0.99 0.96
time (sec) N/A 0.127 0.057 0.813 0.331 0.688 0.000 0.275 1.643
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 183 183 127 206 146 167 0 370 146
normalized size 1 1.00 0.69 1.13 0.80 0.91 0.00 2.02 0.80
time (sec) N/A 0.188 0.937 0.744 0.333 0.568 0.000 1.927 0.993
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 107 168 107 128 0 320 105
normalized size 1 1.00 0.82 1.28 0.82 0.98 0.00 2.44 0.80
time (sec) N/A 0.168 0.561 0.754 0.337 0.690 0.000 0.361 0.950
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 87 130 94 115 0 270 91
normalized size 1 1.00 0.78 1.16 0.84 1.03 0.00 2.41 0.81
time (sec) N/A 0.158 0.309 0.740 0.349 0.737 0.000 0.378 0.886
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 65 92 56 76 0 74 54
normalized size 1 1.00 1.05 1.48 0.90 1.23 0.00 1.19 0.87
time (sec) N/A 0.124 0.213 0.734 0.324 0.848 0.000 0.295 0.058
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 31 46 41 51 0 51 41
normalized size 1 1.00 0.72 1.07 0.95 1.19 0.00 1.19 0.95
time (sec) N/A 0.077 0.119 0.250 0.345 0.586 0.000 0.494 0.059
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 36 32 43 61 0 115 35
normalized size 1 1.00 0.75 0.67 0.90 1.27 0.00 2.40 0.73
time (sec) N/A 0.115 0.085 0.408 0.328 0.691 0.000 0.281 0.082
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 75 50 68 112 0 135 61
normalized size 1 1.00 1.09 0.72 0.99 1.62 0.00 1.96 0.88
time (sec) N/A 0.144 0.558 0.587 0.324 0.571 0.000 0.672 0.901
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 103 85 104 209 0 191 109
normalized size 1 1.00 0.90 0.74 0.90 1.82 0.00 1.66 0.95
time (sec) N/A 0.171 1.572 0.494 0.319 0.593 0.000 0.494 0.095
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 136 121 143 289 0 238 147
normalized size 1 1.00 0.85 0.76 0.89 1.81 0.00 1.49 0.92
time (sec) N/A 0.199 1.338 0.503 0.327 0.625 0.000 0.397 0.110
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 205 205 164 157 197 461 0 291 203
normalized size 1 1.00 0.80 0.77 0.96 2.25 0.00 1.42 0.99
time (sec) N/A 0.238 3.455 0.572 0.366 0.642 0.000 0.382 0.171
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 144 210 215 185 0 225 293
normalized size 1 1.00 0.72 1.06 1.08 0.93 0.00 1.13 1.47
time (sec) N/A 0.361 0.963 0.704 0.438 0.711 0.000 0.786 2.540
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 124 172 174 158 0 193 235
normalized size 1 1.00 0.79 1.10 1.11 1.01 0.00 1.23 1.50
time (sec) N/A 0.270 0.561 0.694 0.538 0.678 0.000 0.505 2.157
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 94 134 126 133 0 161 177
normalized size 1 1.00 0.82 1.17 1.10 1.16 0.00 1.40 1.54
time (sec) N/A 0.268 0.243 0.696 0.474 0.946 0.000 1.213 1.825
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 243 86 81 104 0 128 117
normalized size 1 1.00 3.33 1.18 1.11 1.42 0.00 1.75 1.60
time (sec) N/A 0.132 1.157 0.400 0.431 1.608 0.000 0.294 1.160
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 401 77 74 101 0 90 70
normalized size 1 1.00 7.04 1.35 1.30 1.77 0.00 1.58 1.23
time (sec) N/A 0.246 6.158 0.687 0.333 0.643 0.000 0.535 1.126
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 228 140 113 159 0 104 91
normalized size 1 1.00 2.62 1.61 1.30 1.83 0.00 1.20 1.05
time (sec) N/A 0.297 1.853 0.879 0.344 0.690 0.000 0.304 2.485
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 129 317 202 144 206 0 136 124
normalized size 1 1.00 2.46 1.57 1.12 1.60 0.00 1.05 0.96
time (sec) N/A 0.226 0.995 0.900 0.352 0.571 0.000 0.695 1.284
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 428 264 175 272 0 168 159
normalized size 1 1.00 2.63 1.62 1.07 1.67 0.00 1.03 0.98
time (sec) N/A 0.243 1.302 1.021 0.356 0.744 0.000 0.321 0.988
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B F(-1) A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 201 201 1050 326 204 406 0 200 194
normalized size 1 1.00 5.22 1.62 1.01 2.02 0.00 1.00 0.97
time (sec) N/A 0.258 6.946 1.026 0.347 3.265 0.000 0.610 0.972
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 148 230 158 182 0 396 157
normalized size 1 1.00 0.73 1.13 0.78 0.90 0.00 1.95 0.77
time (sec) N/A 0.196 1.790 0.772 0.329 0.702 0.000 0.546 0.965
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 106 130 107 121 0 239 107
normalized size 1 1.00 0.81 0.99 0.82 0.92 0.00 1.82 0.82
time (sec) N/A 0.168 1.009 0.713 0.322 0.775 0.000 1.112 0.897
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 134 134 108 155 106 130 0 297 107
normalized size 1 1.00 0.81 1.16 0.79 0.97 0.00 2.22 0.80
time (sec) N/A 0.167 0.655 0.778 0.326 0.687 0.000 1.276 0.887
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 86 109 80 104 0 102 80
normalized size 1 1.00 0.88 1.11 0.82 1.06 0.00 1.04 0.82
time (sec) N/A 0.096 0.203 0.803 0.359 0.699 0.000 0.385 0.882
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 65 63 55 65 0 64 52
normalized size 1 1.00 1.05 1.02 0.89 1.05 0.00 1.03 0.84
time (sec) N/A 0.091 0.250 0.250 0.408 0.861 0.000 0.316 0.055
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 81 49 56 76 0 142 49
normalized size 1 1.00 1.21 0.73 0.84 1.13 0.00 2.12 0.73
time (sec) N/A 0.125 0.146 0.477 0.561 0.736 0.000 0.311 0.074
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 67 84 132 0 189 75
normalized size 1 1.00 1.00 0.76 0.95 1.50 0.00 2.15 0.85
time (sec) N/A 0.156 0.904 0.727 0.501 0.742 0.000 0.401 0.095
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 100 85 103 177 0 186 96
normalized size 1 1.00 0.90 0.77 0.93 1.59 0.00 1.68 0.86
time (sec) N/A 0.169 0.947 0.620 0.659 0.786 0.000 0.469 0.931
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 129 120 145 297 0 243 151
normalized size 1 1.00 0.82 0.76 0.92 1.89 0.00 1.55 0.96
time (sec) N/A 0.195 1.056 0.609 0.425 0.671 0.000 0.765 0.965
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 159 156 189 419 0 292 195
normalized size 1 1.00 0.79 0.77 0.94 2.07 0.00 1.45 0.97
time (sec) N/A 0.231 1.234 0.720 0.505 1.584 0.000 0.651 1.013
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 156 235 291 204 0 244 320
normalized size 1 1.00 0.74 1.12 1.39 0.97 0.00 1.16 1.52
time (sec) N/A 0.389 2.104 0.929 0.469 0.736 0.000 0.507 2.454
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 136 197 240 177 0 212 261
normalized size 1 1.00 0.75 1.08 1.32 0.97 0.00 1.16 1.43
time (sec) N/A 0.274 0.953 0.844 0.439 0.739 0.000 0.455 2.225
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 114 159 182 152 0 180 204
normalized size 1 1.00 0.83 1.15 1.32 1.10 0.00 1.30 1.48
time (sec) N/A 0.228 0.412 0.755 0.784 0.736 0.000 0.401 1.966
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 300 111 127 125 0 102 90
normalized size 1 1.00 3.06 1.13 1.30 1.28 0.00 1.04 0.92
time (sec) N/A 0.183 2.417 0.455 0.510 0.596 0.000 0.938 1.278
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 244 102 137 122 0 106 98
normalized size 1 1.00 3.05 1.28 1.71 1.52 0.00 1.32 1.22
time (sec) N/A 0.194 1.160 0.746 0.596 0.500 0.000 0.395 2.460
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 678 188 188 178 0 123 116
normalized size 1 1.00 6.16 1.71 1.71 1.62 0.00 1.12 1.05
time (sec) N/A 0.230 6.245 1.026 0.352 0.600 0.000 0.563 5.348
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 353 274 228 225 0 141 136
normalized size 1 1.00 2.14 1.66 1.38 1.36 0.00 0.85 0.82
time (sec) N/A 0.436 1.224 1.054 0.487 0.744 0.000 0.402 4.913
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 430 360 268 278 0 169 169
normalized size 1 1.00 2.24 1.88 1.40 1.45 0.00 0.88 0.88
time (sec) N/A 0.314 1.250 1.115 0.371 0.621 0.000 0.687 2.896
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A F(-1) A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 232 232 1000 446 308 375 0 202 204
normalized size 1 1.00 4.31 1.92 1.33 1.62 0.00 0.87 0.88
time (sec) N/A 0.332 6.714 1.126 0.366 0.891 0.000 0.512 1.039
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 62 89 89 89 0 141 110
normalized size 1 1.00 0.68 0.98 0.98 0.98 0.00 1.55 1.21
time (sec) N/A 0.161 4.869 0.542 0.331 0.821 0.000 0.275 0.087
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 52 70 69 69 0 119 84
normalized size 1 1.00 0.71 0.96 0.95 0.95 0.00 1.63 1.15
time (sec) N/A 0.155 1.720 0.457 0.340 0.482 0.000 0.841 0.060
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 42 49 49 49 0 97 58
normalized size 1 1.00 0.76 0.89 0.89 0.89 0.00 1.76 1.05
time (sec) N/A 0.148 0.398 0.445 0.323 0.530 0.000 0.221 0.074
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 32 30 29 29 0 32 26
normalized size 1 1.00 0.86 0.81 0.78 0.78 0.00 0.86 0.70
time (sec) N/A 0.126 0.128 0.428 0.320 0.674 0.000 1.002 0.882
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 28 49 30 28 0 34 25
normalized size 1 1.00 0.90 1.58 0.97 0.90 0.00 1.10 0.81
time (sec) N/A 0.071 0.087 0.056 0.323 0.833 0.000 0.220 0.054
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 67 54 47 60 0 56 33
normalized size 1 1.00 1.16 0.93 0.81 1.03 0.00 0.97 0.57
time (sec) N/A 0.097 0.106 0.483 0.317 0.873 0.000 0.886 0.919
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 91 72 86 138 0 129 75
normalized size 1 1.00 1.11 0.88 1.05 1.68 0.00 1.57 0.91
time (sec) N/A 0.158 0.394 0.652 0.364 0.731 0.000 0.236 0.935
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 122 108 130 217 0 182 115
normalized size 1 1.00 1.15 1.02 1.23 2.05 0.00 1.72 1.08
time (sec) N/A 0.173 0.500 0.563 0.353 0.914 0.000 0.292 1.008
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 132 290 360 91 0 139 132
normalized size 1 1.00 1.06 2.32 2.88 0.73 0.00 1.11 1.06
time (sec) N/A 0.210 1.307 0.444 0.485 0.855 0.000 0.297 3.896
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 112 222 278 70 0 113 106
normalized size 1 1.00 1.13 2.24 2.81 0.71 0.00 1.14 1.07
time (sec) N/A 0.177 0.742 0.432 0.439 0.891 0.000 0.448 3.664
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 83 154 196 51 0 87 55
normalized size 1 1.00 1.14 2.11 2.68 0.70 0.00 1.19 0.75
time (sec) N/A 0.150 0.649 0.416 0.427 1.012 0.000 0.199 0.984
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 68 85 112 27 0 58 30
normalized size 1 1.00 1.55 1.93 2.55 0.61 0.00 1.32 0.68
time (sec) N/A 0.109 0.282 0.330 0.446 1.685 0.000 0.320 0.963
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 66 36 49 41 0 37 32
normalized size 1 1.00 1.78 0.97 1.32 1.11 0.00 1.00 0.86
time (sec) N/A 0.126 0.225 0.468 0.336 0.710 0.000 0.543 0.927
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 116 62 96 89 0 74 60
normalized size 1 1.00 2.11 1.13 1.75 1.62 0.00 1.35 1.09
time (sec) N/A 0.143 0.536 0.572 0.328 0.668 0.000 0.245 1.087
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 158 88 136 131 0 103 153
normalized size 1 1.00 2.16 1.21 1.86 1.79 0.00 1.41 2.10
time (sec) N/A 0.147 0.655 0.546 0.337 0.881 0.000 0.253 1.161
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 200 114 176 177 0 132 201
normalized size 1 1.00 2.20 1.25 1.93 1.95 0.00 1.45 2.21
time (sec) N/A 0.151 1.061 0.605 0.403 0.763 0.000 0.277 1.454
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 242 140 216 219 0 161 139
normalized size 1 1.00 2.22 1.28 1.98 2.01 0.00 1.48 1.28
time (sec) N/A 0.155 1.576 0.588 0.340 0.604 0.000 0.294 3.108
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 72 88 89 89 0 185 109
normalized size 1 1.00 0.53 0.64 0.65 0.65 0.00 1.35 0.80
time (sec) N/A 0.186 5.631 0.691 0.327 1.512 0.000 0.895 0.087
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 62 79 79 79 0 141 96
normalized size 1 1.00 0.54 0.69 0.69 0.69 0.00 1.24 0.84
time (sec) N/A 0.180 3.953 0.628 0.325 0.599 0.000 0.295 0.910
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 53 50 49 49 0 141 58
normalized size 1 1.00 0.73 0.68 0.67 0.67 0.00 1.93 0.79
time (sec) N/A 0.159 1.967 0.595 0.324 0.749 0.000 0.282 0.918
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 42 39 39 39 0 119 36
normalized size 1 1.00 0.76 0.71 0.71 0.71 0.00 2.16 0.65
time (sec) N/A 0.154 0.598 0.611 0.325 1.458 0.000 0.255 0.061
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 51 82 51 48 0 75 56
normalized size 1 1.00 0.77 1.24 0.77 0.73 0.00 1.14 0.85
time (sec) N/A 0.163 0.243 0.650 0.332 0.454 0.000 1.424 0.064
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 64 68 46 58 0 52 46
normalized size 1 1.00 1.23 1.31 0.88 1.12 0.00 1.00 0.88
time (sec) N/A 0.102 0.244 0.174 0.375 0.674 0.000 0.199 0.923
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 83 72 74 106 0 87 60
normalized size 1 1.00 1.38 1.20 1.23 1.77 0.00 1.45 1.00
time (sec) N/A 0.127 0.206 0.570 0.395 1.464 0.000 1.135 0.096
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 38 57 59 60 0 82 58
normalized size 1 1.00 0.90 1.36 1.40 1.43 0.00 1.95 1.38
time (sec) N/A 0.127 0.103 0.723 0.575 0.657 0.000 0.296 0.942
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 152 144 167 283 0 207 152
normalized size 1 1.00 1.04 0.99 1.14 1.94 0.00 1.42 1.04
time (sec) N/A 0.217 0.791 0.697 0.372 0.641 0.000 0.304 1.053
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 131 290 378 90 0 139 133
normalized size 1 1.00 0.78 1.74 2.26 0.54 0.00 0.83 0.80
time (sec) N/A 0.440 3.137 0.660 0.444 0.698 0.000 0.257 3.934
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 111 222 292 71 0 113 107
normalized size 1 1.00 1.07 2.13 2.81 0.68 0.00 1.09 1.03
time (sec) N/A 0.311 0.948 0.634 0.545 1.434 0.000 0.259 3.750
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 91 154 206 50 0 87 81
normalized size 1 1.00 1.05 1.77 2.37 0.57 0.00 1.00 0.93
time (sec) N/A 0.233 0.589 0.671 0.560 0.994 0.000 0.247 4.505
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 121 103 140 61 0 75 91
normalized size 1 1.00 1.75 1.49 2.03 0.88 0.00 1.09 1.32
time (sec) N/A 0.316 0.359 0.626 0.508 0.880 0.000 0.731 1.030
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 105 60 90 71 0 74 71
normalized size 1 1.00 1.44 0.82 1.23 0.97 0.00 1.01 0.97
time (sec) N/A 0.200 0.476 0.624 0.522 0.591 0.000 0.261 0.982
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 149 86 134 108 0 105 121
normalized size 1 1.00 1.64 0.95 1.47 1.19 0.00 1.15 1.33
time (sec) N/A 0.345 0.700 0.800 0.480 0.794 0.000 0.375 1.068
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 191 112 174 169 0 134 106
normalized size 1 1.00 1.75 1.03 1.60 1.55 0.00 1.23 0.97
time (sec) N/A 0.351 1.024 0.719 0.475 1.302 0.000 0.349 2.185
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 233 112 174 204 0 134 201
normalized size 1 1.00 1.86 0.90 1.39 1.63 0.00 1.07 1.61
time (sec) N/A 0.367 1.500 0.840 0.432 1.541 0.000 0.346 1.687
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 120 90 89 89 0 207 110
normalized size 1 1.00 0.86 0.65 0.64 0.64 0.00 1.49 0.79
time (sec) N/A 0.195 4.643 0.890 0.534 0.741 0.000 0.406 0.089
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 100 69 69 69 0 185 84
normalized size 1 1.00 0.92 0.63 0.63 0.63 0.00 1.70 0.77
time (sec) N/A 0.179 3.095 0.721 0.513 1.295 0.000 0.439 0.921
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 80 50 49 49 0 163 58
normalized size 1 1.00 1.10 0.68 0.67 0.67 0.00 2.23 0.79
time (sec) N/A 0.165 1.756 0.639 0.322 0.670 0.000 1.274 0.070
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 73 114 73 70 0 172 82
normalized size 1 1.00 0.72 1.12 0.72 0.69 0.00 1.69 0.80
time (sec) N/A 0.182 0.957 0.716 0.331 0.819 0.000 0.418 0.895
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 99 100 72 82 0 94 75
normalized size 1 1.00 1.11 1.12 0.81 0.92 0.00 1.06 0.84
time (sec) N/A 0.184 0.439 0.726 0.339 0.796 0.000 0.643 0.888
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 103 86 71 96 0 63 59
normalized size 1 1.00 1.37 1.15 0.95 1.28 0.00 0.84 0.79
time (sec) N/A 0.117 0.363 0.258 0.511 0.563 0.000 0.291 0.079
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 97 90 98 151 0 113 83
normalized size 1 1.00 1.18 1.10 1.20 1.84 0.00 1.38 1.01
time (sec) N/A 0.151 0.346 0.687 0.324 0.670 0.000 0.297 0.111
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 138 126 146 240 0 182 130
normalized size 1 1.00 1.10 1.00 1.16 1.90 0.00 1.44 1.03
time (sec) N/A 0.134 0.651 0.865 0.399 0.763 0.000 0.694 0.167
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 137 126 188 317 0 232 173
normalized size 1 1.00 1.07 0.98 1.47 2.48 0.00 1.81 1.35
time (sec) N/A 0.206 5.290 0.801 0.380 0.855 0.000 1.065 1.090
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 131 290 378 91 0 139 132
normalized size 1 1.00 0.83 1.85 2.41 0.58 0.00 0.89 0.84
time (sec) N/A 0.461 4.998 0.678 0.450 0.685 0.000 0.805 3.865
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 129 111 222 292 70 0 113 106
normalized size 1 1.00 0.86 1.72 2.26 0.54 0.00 0.88 0.82
time (sec) N/A 0.291 1.964 0.733 0.500 0.721 0.000 0.350 3.669
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 173 171 227 83 0 101 98
normalized size 1 1.00 1.60 1.58 2.10 0.77 0.00 0.94 0.91
time (sec) N/A 0.318 0.684 0.753 0.504 0.637 0.000 0.301 2.659
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 177 122 164 99 0 96 115
normalized size 1 1.00 1.82 1.26 1.69 1.02 0.00 0.99 1.19
time (sec) N/A 0.310 0.467 0.565 0.587 0.715 0.000 0.320 1.057
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 137 60 90 95 0 73 84
normalized size 1 1.00 1.54 0.67 1.01 1.07 0.00 0.82 0.94
time (sec) N/A 0.367 0.644 0.726 0.400 0.549 0.000 0.429 1.009
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 175 60 92 146 0 73 105
normalized size 1 1.00 1.70 0.58 0.89 1.42 0.00 0.71 1.02
time (sec) N/A 0.379 0.871 0.806 0.396 0.699 0.000 0.952 1.112
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 223 112 174 191 0 134 201
normalized size 1 1.00 1.76 0.88 1.37 1.50 0.00 1.06 1.58
time (sec) N/A 0.408 1.348 0.796 0.564 0.677 0.000 0.464 1.435
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 265 138 214 214 0 163 249
normalized size 1 1.00 1.83 0.95 1.48 1.48 0.00 1.12 1.72
time (sec) N/A 0.419 1.932 0.821 0.590 0.645 0.000 2.019 2.128
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 106 290 0 0 0 0 -1
normalized size 1 1.00 0.68 1.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.201 0.307 3.714 0.000 0.970 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 154 154 170 210 0 0 0 0 -1
normalized size 1 1.00 1.10 1.36 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.200 0.595 3.633 0.000 1.888 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 69 198 0 0 0 0 -1
normalized size 1 1.00 0.66 1.90 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.150 0.115 3.640 0.000 1.059 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 193 122 0 0 0 0 -1
normalized size 1 1.00 1.87 1.18 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.152 3.176 2.544 0.000 0.735 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 155 155 143 247 0 0 0 0 -1
normalized size 1 1.00 0.92 1.59 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.199 0.397 3.246 0.000 1.128 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 120 212 0 0 0 0 -1
normalized size 1 1.00 0.75 1.32 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.201 0.369 3.474 0.000 0.802 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 194 194 205 265 0 0 0 0 -1
normalized size 1 1.00 1.06 1.37 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.382 17.789 6.135 0.000 1.908 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 192 192 204 201 0 0 0 0 -1
normalized size 1 1.00 1.06 1.05 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.380 15.386 5.495 0.000 0.983 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 138 138 168 220 0 0 0 0 -1
normalized size 1 1.00 1.22 1.59 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.307 2.177 6.158 0.000 1.941 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 139 139 164 163 0 0 0 0 -1
normalized size 1 1.00 1.18 1.17 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.307 71.889 5.248 0.000 0.743 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 224 224 135 238 0 0 0 0 -1
normalized size 1 1.00 0.60 1.06 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.424 11.056 5.682 0.000 0.740 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 234 234 169 301 0 0 0 0 -1
normalized size 1 1.00 0.72 1.29 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.419 48.876 6.248 0.000 0.847 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 122 128 0 0 0 0 -1
normalized size 1 1.00 0.88 0.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.280 0.691 3.276 0.000 1.125 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 232 173 0 0 0 0 -1
normalized size 1 1.00 2.23 1.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.220 4.897 3.488 0.000 0.776 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 69 112 0 0 0 0 -1
normalized size 1 1.00 0.68 1.10 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.222 20.651 3.281 0.000 0.668 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 249 149 0 0 0 0 -1
normalized size 1 1.00 2.62 1.57 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.208 0.612 3.894 0.000 0.706 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 77 121 0 0 0 0 -1
normalized size 1 1.00 0.76 1.20 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.211 0.580 3.339 0.000 0.645 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 124 187 0 0 0 0 -1
normalized size 1 1.00 0.92 1.39 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.248 1.096 3.703 0.000 0.541 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 91 136 0 0 0 0 -1
normalized size 1 1.00 0.67 1.01 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.250 1.275 3.284 0.000 1.465 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 162 162 94 145 0 0 0 0 -1
normalized size 1 1.00 0.58 0.90 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.551 1.551 4.121 0.000 0.621 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 187 187 249 173 0 0 0 0 -1
normalized size 1 1.00 1.33 0.93 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.596 2.988 4.034 0.000 0.456 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 119 153 0 0 0 0 -1
normalized size 1 1.00 0.63 0.81 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.594 1.913 4.299 0.000 0.513 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 222 205 0 0 0 0 -1
normalized size 1 1.00 1.18 1.09 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.590 1.363 4.831 0.000 0.520 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 190 190 82 148 0 0 0 0 -1
normalized size 1 1.00 0.43 0.78 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.591 1.404 4.179 0.000 0.783 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 163 213 0 0 0 0 -1
normalized size 1 1.00 0.73 0.95 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.664 1.443 4.425 0.000 0.572 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 113 160 0 0 0 0 -1
normalized size 1 1.00 0.50 0.71 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.670 0.994 4.840 0.000 0.588 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 247 247 287 0 0 0 0 0 -1
normalized size 1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.353 7.348 3.495 0.000 0.651 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 195 195 230 0 0 0 0 0 -1
normalized size 1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.285 4.611 3.005 0.000 0.640 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 97 0 0 0 0 0 -1
normalized size 1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 0.147 2.495 0.000 0.624 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 100 100 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.199 31.643 2.110 0.000 0.859 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 207 207 2833 0 0 0 0 0 -1
normalized size 1 1.00 13.69 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.526 22.699 1.463 0.000 0.946 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 236 236 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.635 10.742 1.341 0.000 0.876 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 106 106 1243 0 0 0 0 0 -1
normalized size 1 1.00 11.73 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.375 9.746 1.171 0.000 1.499 0.000 0.000 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 107 107 433 0 0 0 0 0 -1
normalized size 1 1.00 4.05 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.314 2.900 1.238 0.000 0.557 0.000 0.000 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 115 115 277 0 0 0 0 0 -1
normalized size 1 1.00 2.41 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.325 2.066 1.163 0.000 0.676 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 120 120 484 0 0 0 0 0 -1
normalized size 1 1.00 4.03 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.374 3.009 1.128 0.000 1.432 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 130 276 0 0 0 0 0 -1
normalized size 1 1.00 2.12 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.277 1.924 2.791 0.000 0.559 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 113 0 0 0 0 0 -1
normalized size 1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.169 1.513 3.007 0.000 0.625 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 84 0 0 0 0 0 -1
normalized size 1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.108 0.520 2.788 0.000 0.868 0.000 0.000 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 67 0 0 0 0 0 -1
normalized size 1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.155 3.020 0.000 0.603 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 0 0 0 0 0 64
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.52
time (sec) N/A 0.037 0.042 1.208 0.000 1.255 0.000 0.000 1.182
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 40 40 92 0 0 0 0 0 -1
normalized size 1 1.00 2.30 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.046 0.684 1.307 0.000 0.773 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 112 112 179 0 0 0 0 0 -1
normalized size 1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 2.173 1.396 0.000 1.887 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 240 240 492 0 0 0 0 0 -1
normalized size 1 1.00 2.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.224 6.529 1.300 0.000 0.501 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 230 230 7069 0 0 0 0 0 -1
normalized size 1 1.00 30.73 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.668 22.865 3.554 0.000 2.277 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 95 95 4297 0 0 0 0 0 -1
normalized size 1 1.00 45.23 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.353 17.143 2.789 0.000 1.265 0.000 0.000 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 98 98 142 0 0 0 0 0 -1
normalized size 1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.132 1.164 1.321 0.000 0.622 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 349 349 350 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.541 7.039 1.391 0.000 0.688 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 105 105 382 0 0 0 0 0 -1
normalized size 1 1.00 3.64 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.262 3.357 0.820 0.000 0.651 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 105 105 214 0 0 0 0 0 -1
normalized size 1 1.00 2.04 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.272 1.444 0.794 0.000 0.494 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 105 105 212 0 0 0 0 0 -1
normalized size 1 1.00 2.02 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.250 1.042 0.843 0.000 0.519 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 105 105 212 0 0 0 0 0 -1
normalized size 1 1.00 2.02 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.267 1.236 0.808 0.000 0.637 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 115 129 91 93 0 317 89
normalized size 1 1.00 0.97 1.08 0.76 0.78 0.00 2.66 0.75
time (sec) N/A 0.110 0.148 0.632 0.338 0.728 0.000 0.259 0.934
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 83 95 69 71 0 248 67
normalized size 1 1.00 0.95 1.09 0.79 0.82 0.00 2.85 0.77
time (sec) N/A 0.098 0.084 0.589 0.451 0.780 0.000 0.238 0.906
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 57 61 47 49 0 66 45
normalized size 1 1.00 0.98 1.05 0.81 0.84 0.00 1.14 0.78
time (sec) N/A 0.086 0.047 0.601 0.511 0.623 0.000 0.338 0.057
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 37 28 23 25 0 32 23
normalized size 1 1.00 1.42 1.08 0.88 0.96 0.00 1.23 0.88
time (sec) N/A 0.033 0.026 0.192 0.438 0.699 0.000 0.235 0.041
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 63 35 45 51 0 61 63
normalized size 1 1.00 2.42 1.35 1.73 1.96 0.00 2.35 2.42
time (sec) N/A 0.073 0.036 0.344 0.548 0.483 0.000 0.207 0.108
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 114 68 71 123 0 169 76
normalized size 1 1.00 1.78 1.06 1.11 1.92 0.00 2.64 1.19
time (sec) N/A 0.104 0.511 0.778 0.397 0.494 0.000 0.253 0.097
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 164 102 110 201 0 266 117
normalized size 1 1.00 1.64 1.02 1.10 2.01 0.00 2.66 1.17
time (sec) N/A 0.124 0.651 0.730 0.674 0.509 0.000 0.243 0.984
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 216 136 143 284 0 357 148
normalized size 1 1.00 1.54 0.97 1.02 2.03 0.00 2.55 1.06
time (sec) N/A 0.144 0.621 0.749 0.346 0.462 0.000 0.455 1.021
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 118 130 106 102 0 228 332
normalized size 1 1.00 0.93 1.02 0.83 0.80 0.00 1.80 2.61
time (sec) N/A 0.128 0.212 0.651 0.333 0.493 0.000 0.446 2.169
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 86 96 81 79 0 172 267
normalized size 1 1.00 0.97 1.08 0.91 0.89 0.00 1.93 3.00
time (sec) N/A 0.111 0.155 0.649 0.475 0.476 0.000 0.240 1.884
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 54 62 59 55 0 114 83
normalized size 1 1.00 1.06 1.22 1.16 1.08 0.00 2.24 1.63
time (sec) N/A 0.083 0.063 0.312 0.687 0.503 0.000 0.195 1.094
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 41 47 50 63 0 77 60
normalized size 1 1.00 1.11 1.27 1.35 1.70 0.00 2.08 1.62
time (sec) N/A 0.096 0.027 0.729 0.536 0.603 0.000 1.283 1.022
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 69 81 76 125 0 133 101
normalized size 1 1.00 1.00 1.17 1.10 1.81 0.00 1.93 1.46
time (sec) N/A 0.105 0.026 0.863 0.665 0.696 0.000 0.251 0.999
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 91 115 96 174 0 194 142
normalized size 1 1.00 0.90 1.14 0.95 1.72 0.00 1.92 1.41
time (sec) N/A 0.111 0.027 0.866 0.324 0.695 0.000 1.722 1.094
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 112 184 105 125 0 418 104
normalized size 1 1.00 0.90 1.48 0.85 1.01 0.00 3.37 0.84
time (sec) N/A 0.196 0.361 0.631 0.419 0.726 0.000 0.428 0.951
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 72 125 71 92 0 100 69
normalized size 1 1.00 0.90 1.56 0.89 1.15 0.00 1.25 0.86
time (sec) N/A 0.145 0.182 0.626 0.349 0.589 0.000 0.408 0.915
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 37 45 40 50 0 50 40
normalized size 1 1.00 0.88 1.07 0.95 1.19 0.00 1.19 0.95
time (sec) N/A 0.078 0.058 0.194 0.628 0.626 0.000 0.339 0.052
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 91 77 73 97 0 124 62
normalized size 1 1.00 1.23 1.04 0.99 1.31 0.00 1.68 0.84
time (sec) N/A 0.180 0.161 0.381 0.740 0.532 0.000 0.510 0.966
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 329 139 119 205 0 314 120
normalized size 1 1.00 2.89 1.22 1.04 1.80 0.00 2.75 1.05
time (sec) N/A 0.294 0.633 0.743 0.672 0.536 0.000 0.290 0.121
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 193 246 173 176 0 379 231
normalized size 1 1.00 1.10 1.41 0.99 1.01 0.00 2.17 1.32
time (sec) N/A 0.461 1.681 0.699 0.808 0.489 0.000 0.740 3.102
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 157 187 125 142 0 285 207
normalized size 1 1.00 0.88 1.05 0.70 0.80 0.00 1.60 1.16
time (sec) N/A 0.556 1.046 0.638 0.883 0.622 0.000 0.304 1.227
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 121 99 80 108 0 159 143
normalized size 1 1.00 1.57 1.29 1.04 1.40 0.00 2.06 1.86
time (sec) N/A 0.131 0.604 0.388 0.910 0.496 0.000 0.278 1.168
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 138 89 73 104 0 167 108
normalized size 1 1.00 2.34 1.51 1.24 1.76 0.00 2.83 1.83
time (sec) N/A 0.414 0.488 0.648 0.541 0.480 0.000 1.223 1.071
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 259 151 112 178 0 226 182
normalized size 1 1.00 2.59 1.51 1.12 1.78 0.00 2.26 1.82
time (sec) N/A 0.322 0.662 0.921 0.746 0.547 0.000 1.127 1.102
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 368 212 143 241 0 326 248
normalized size 1 1.00 2.57 1.48 1.00 1.69 0.00 2.28 1.73
time (sec) N/A 0.408 0.739 0.980 0.714 0.528 0.000 0.327 1.045
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 154 266 142 175 0 695 143
normalized size 1 1.00 0.91 1.56 0.84 1.03 0.00 4.09 0.84
time (sec) N/A 0.255 0.691 0.657 0.336 0.531 0.000 0.585 0.965
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 102 164 98 123 0 128 99
normalized size 1 1.00 0.88 1.41 0.84 1.06 0.00 1.10 0.85
time (sec) N/A 0.128 0.350 0.651 0.607 0.506 0.000 0.403 0.072
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 56 65 57 67 0 66 57
normalized size 1 1.00 0.88 1.02 0.89 1.05 0.00 1.03 0.89
time (sec) N/A 0.101 0.119 0.192 1.185 0.539 0.000 1.563 0.925
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 89 113 112 139 0 250 85
normalized size 1 1.00 0.87 1.11 1.10 1.36 0.00 2.45 0.83
time (sec) N/A 0.219 0.300 0.388 0.499 0.507 0.000 0.498 0.130
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 162 162 669 201 171 290 0 482 159
normalized size 1 1.00 4.13 1.24 1.06 1.79 0.00 2.98 0.98
time (sec) N/A 0.349 6.199 0.750 0.708 0.510 0.000 1.261 1.008
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 299 299 818 354 242 241 0 563 373
normalized size 1 1.00 2.74 1.18 0.81 0.81 0.00 1.88 1.25
time (sec) N/A 0.336 6.258 0.697 0.914 0.535 0.000 0.464 1.685
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 236 236 696 276 183 196 0 431 281
normalized size 1 1.00 2.95 1.17 0.78 0.83 0.00 1.83 1.19
time (sec) N/A 0.748 6.192 0.622 0.727 0.565 0.000 0.404 1.472
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 327 167 129 151 0 346 202
normalized size 1 1.00 2.37 1.21 0.93 1.09 0.00 2.51 1.46
time (sec) N/A 0.504 0.967 0.415 1.036 0.506 0.000 0.379 1.269
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 406 158 139 151 0 225 181
normalized size 1 1.00 3.05 1.19 1.05 1.14 0.00 1.69 1.36
time (sec) N/A 0.273 0.659 0.639 0.865 0.693 0.000 0.356 1.466
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 205 205 610 246 190 260 0 361 260
normalized size 1 1.00 2.98 1.20 0.93 1.27 0.00 1.76 1.27
time (sec) N/A 0.291 0.972 0.921 1.564 1.212 0.000 0.516 1.165
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 279 279 812 334 230 354 0 498 363
normalized size 1 1.00 2.91 1.20 0.82 1.27 0.00 1.78 1.30
time (sec) N/A 0.316 1.500 0.971 0.802 0.619 0.000 0.377 1.222
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 223 223 282 363 224 222 0 1559 249
normalized size 1 1.00 1.26 1.63 1.00 1.00 0.00 6.99 1.12
time (sec) N/A 0.251 1.562 0.541 0.585 0.612 0.000 1.617 0.155
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 172 216 141 140 0 867 151
normalized size 1 1.00 1.13 1.42 0.93 0.92 0.00 5.70 0.99
time (sec) N/A 0.194 0.377 0.403 0.724 0.610 0.000 0.442 0.091
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 89 106 80 78 0 102 79
normalized size 1 1.00 1.00 1.19 0.90 0.88 0.00 1.15 0.89
time (sec) N/A 0.156 0.210 0.397 0.584 0.558 0.000 0.234 1.023
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 30 53 33 31 0 38 30
normalized size 1 1.00 0.88 1.56 0.97 0.91 0.00 1.12 0.88
time (sec) N/A 0.077 0.020 0.062 0.529 0.514 0.000 0.240 0.058
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 63 75 64 64 0 100 68
normalized size 1 1.00 0.85 1.01 0.86 0.86 0.00 1.35 0.92
time (sec) N/A 0.105 0.101 0.416 0.749 0.522 0.000 0.301 1.147
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 123 121 132 216 0 202 133
normalized size 1 1.00 1.06 1.04 1.14 1.86 0.00 1.74 1.15
time (sec) N/A 0.213 0.627 0.550 0.734 0.553 0.000 0.400 0.303
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 179 179 207 259 268 469 0 419 297
normalized size 1 1.00 1.16 1.45 1.50 2.62 0.00 2.34 1.66
time (sec) N/A 0.301 5.218 0.546 0.818 0.598 0.000 0.748 1.614
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 230 230 268 1566 0 553 0 781 3341
normalized size 1 1.00 1.17 6.81 0.00 2.40 0.00 3.40 14.53
time (sec) N/A 0.608 2.400 0.523 0.000 0.597 0.000 0.289 3.879
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 172 769 0 393 0 407 317
normalized size 1 1.00 1.07 4.78 0.00 2.44 0.00 2.53 1.97
time (sec) N/A 0.381 0.822 0.448 0.000 0.657 0.000 0.304 2.293
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 96 269 0 258 0 185 147
normalized size 1 1.00 0.96 2.69 0.00 2.58 0.00 1.85 1.47
time (sec) N/A 0.207 0.318 0.362 0.000 0.491 0.000 0.267 1.478
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 118 96 0 300 0 129 109
normalized size 1 1.00 1.40 1.14 0.00 3.57 0.00 1.54 1.30
time (sec) N/A 0.149 0.200 0.469 0.000 0.559 0.000 0.253 1.304
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 162 165 0 558 0 269 219
normalized size 1 1.00 1.16 1.18 0.00 3.99 0.00 1.92 1.56
time (sec) N/A 0.306 0.923 0.541 0.000 0.853 0.000 0.272 1.375
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 277 282 0 861 0 541 387
normalized size 1 1.00 1.38 1.40 0.00 4.28 0.00 2.69 1.93
time (sec) N/A 0.520 1.292 0.604 0.000 0.891 0.000 0.351 1.687
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 267 267 417 456 271 344 0 1861 588
normalized size 1 1.00 1.56 1.71 1.01 1.29 0.00 6.97 2.20
time (sec) N/A 0.372 3.612 0.588 0.786 0.822 0.000 0.770 0.188
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 280 285 184 240 0 1102 253
normalized size 1 1.00 1.44 1.47 0.95 1.24 0.00 5.68 1.30
time (sec) N/A 0.299 1.637 0.515 0.419 0.582 0.000 0.368 0.122
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 167 153 112 150 0 139 113
normalized size 1 1.00 1.40 1.29 0.94 1.26 0.00 1.17 0.95
time (sec) N/A 0.228 0.556 0.442 0.511 0.554 0.000 0.258 0.090
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 76 75 55 75 0 61 60
normalized size 1 1.00 1.33 1.32 0.96 1.32 0.00 1.07 1.05
time (sec) N/A 0.112 0.177 0.068 0.715 0.610 0.000 0.248 1.023
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 165 106 123 210 0 213 103
normalized size 1 1.00 1.51 0.97 1.13 1.93 0.00 1.95 0.94
time (sec) N/A 0.226 0.351 0.438 0.845 0.639 0.000 0.268 0.226
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 224 224 274 630 0 456 228
normalized size 1 1.00 1.33 1.33 1.63 3.75 0.00 2.71 1.36
time (sec) N/A 0.433 1.307 0.653 0.799 0.763 0.000 0.323 1.469
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 259 259 320 368 511 1205 0 710 447
normalized size 1 1.00 1.24 1.42 1.97 4.65 0.00 2.74 1.73
time (sec) N/A 0.741 1.468 0.663 0.729 0.874 0.000 0.446 1.911
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 473 473 402 1735 0 793 0 870 3692
normalized size 1 1.00 0.85 3.67 0.00 1.68 0.00 1.84 7.81
time (sec) N/A 1.713 7.187 0.638 0.000 0.648 0.000 0.370 4.865
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 261 261 282 883 0 581 0 482 2804
normalized size 1 1.00 1.08 3.38 0.00 2.23 0.00 1.85 10.74
time (sec) N/A 0.825 3.361 0.457 0.000 0.566 0.000 0.887 3.861
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 178 325 0 551 0 240 1655
normalized size 1 1.00 1.17 2.14 0.00 3.62 0.00 1.58 10.89
time (sec) N/A 0.571 1.333 0.440 0.000 0.553 0.000 0.257 3.569
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 128 162 0 526 0 289 245
normalized size 1 1.00 0.63 0.80 0.00 2.59 0.00 1.42 1.21
time (sec) N/A 0.436 0.907 0.505 0.000 0.602 0.000 0.508 1.788
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 343 343 281 242 0 1040 0 457 403
normalized size 1 1.00 0.82 0.71 0.00 3.03 0.00 1.33 1.17
time (sec) N/A 0.547 1.131 0.560 0.000 0.705 0.000 0.360 1.618
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 329 329 550 549 326 447 0 2150 762
normalized size 1 1.00 1.67 1.67 0.99 1.36 0.00 6.53 2.32
time (sec) N/A 0.502 5.088 0.588 0.920 0.807 0.000 2.602 0.236
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 239 239 388 355 234 331 0 1337 315
normalized size 1 1.00 1.62 1.49 0.98 1.38 0.00 5.59 1.32
time (sec) N/A 0.365 3.001 0.523 0.660 0.708 0.000 0.445 1.111
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 208 200 154 226 0 170 167
normalized size 1 1.00 1.32 1.27 0.97 1.43 0.00 1.08 1.06
time (sec) N/A 0.272 0.783 0.517 0.873 0.549 0.000 0.505 0.105
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 111 96 87 126 0 77 93
normalized size 1 1.00 1.34 1.16 1.05 1.52 0.00 0.93 1.12
time (sec) N/A 0.134 0.459 0.145 0.840 0.593 0.000 0.347 1.073
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 203 206 241 474 0 452 182
normalized size 1 1.00 1.25 1.26 1.48 2.91 0.00 2.77 1.12
time (sec) N/A 0.319 0.606 0.510 0.825 0.597 0.000 1.508 1.394
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 229 229 332 322 435 1071 0 800 378
normalized size 1 1.00 1.45 1.41 1.90 4.68 0.00 3.49 1.65
time (sec) N/A 0.513 6.337 0.680 0.793 0.894 0.000 2.648 1.702
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 313 313 496 427 707 1803 0 1551 673
normalized size 1 1.00 1.58 1.36 2.26 5.76 0.00 4.96 2.15
time (sec) N/A 1.007 4.889 0.640 0.628 1.361 0.000 0.543 2.554
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 539 539 599 2251 0 1057 0 1030 3975
normalized size 1 1.00 1.11 4.18 0.00 1.96 0.00 1.91 7.37
time (sec) N/A 2.436 12.695 0.594 0.000 0.697 0.000 0.810 5.710
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 333 333 1178 1227 0 1041 0 584 3255
normalized size 1 1.00 3.54 3.68 0.00 3.13 0.00 1.75 9.77
time (sec) N/A 1.138 9.046 0.532 0.000 0.688 0.000 3.101 5.761
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 267 267 282 729 0 984 0 1193 4026
normalized size 1 1.00 1.06 2.73 0.00 3.69 0.00 4.47 15.08
time (sec) N/A 0.940 4.196 0.464 0.000 0.611 0.000 0.647 9.095
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 376 376 231 234 0 841 0 386 423
normalized size 1 1.00 0.61 0.62 0.00 2.24 0.00 1.03 1.12
time (sec) N/A 0.658 1.107 0.579 0.000 0.737 0.000 3.771 2.858
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 515 515 388 328 0 1550 0 709 588
normalized size 1 1.00 0.75 0.64 0.00 3.01 0.00 1.38 1.14
time (sec) N/A 0.775 1.082 0.620 0.000 0.832 0.000 0.501 1.781
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 516 516 2049 1776 0 0 0 0 -1
normalized size 1 1.00 3.97 3.44 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.703 17.574 12.588 0.000 0.000 0.000 0.000 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 430 430 853 1195 0 0 0 0 -1
normalized size 1 1.00 1.98 2.78 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.109 15.040 10.726 0.000 0.000 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 444 444 1959 1120 0 0 0 0 -1
normalized size 1 1.00 4.41 2.52 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.044 17.345 10.484 0.000 0.000 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 356 356 351 919 0 0 0 0 -1
normalized size 1 1.00 0.99 2.58 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.762 20.749 6.692 0.000 0.000 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 370 370 546 937 0 0 0 0 -1
normalized size 1 1.00 1.48 2.53 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.781 6.308 7.104 0.000 0.000 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 430 430 834 1083 0 0 0 0 -1
normalized size 1 1.00 1.94 2.52 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.037 14.475 7.710 0.000 175.618 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 452 452 1233 681 0 0 0 0 -1
normalized size 1 1.00 2.73 1.51 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.050 12.708 11.400 0.000 0.000 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 511 511 930 1672 0 0 0 0 -1
normalized size 1 1.00 1.82 3.27 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.377 6.890 8.486 0.000 0.000 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1070 1070 974 3808 0 0 0 0 -1
normalized size 1 1.00 0.91 3.56 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.795 15.593 21.443 0.000 0.000 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1101 1101 2095 3412 0 0 0 0 -1
normalized size 1 1.00 1.90 3.10 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.930 17.616 21.386 0.000 0.000 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 850 850 886 2540 0 0 0 0 -1
normalized size 1 1.00 1.04 2.99 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.126 15.150 16.079 0.000 0.000 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 882 882 2012 2282 0 0 0 0 -1
normalized size 1 1.00 2.28 2.59 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.168 16.966 16.851 0.000 0.000 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 809 809 854 1563 0 0 0 0 -1
normalized size 1 1.00 1.06 1.93 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.833 15.269 13.396 0.000 0.000 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 838 838 1246 1475 0 0 0 0 -1
normalized size 1 1.00 1.49 1.76 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.924 13.306 15.314 0.000 0.000 0.000 0.000 0.000
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1054 1054 922 2263 0 0 0 0 -1
normalized size 1 1.00 0.87 2.15 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.692 6.932 17.212 0.000 0.000 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) F(-1) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1089 1089 1320 2159 0 0 0 0 -1
normalized size 1 1.00 1.21 1.98 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.781 15.770 18.902 0.000 0.000 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 151 215 0 0 0 0 -1
normalized size 1 1.00 1.21 1.72 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.032 0.273 1.335 0.000 0.000 0.000 0.000 0.000
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 120 264 0 0 0 0 -1
normalized size 1 1.00 0.99 2.18 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.115 1.274 1.341 0.000 0.984 0.000 0.000 0.000
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 309 309 882 1199 0 0 0 0 -1
normalized size 1 1.00 2.85 3.88 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.230 6.139 1.366 0.000 0.000 0.000 0.000 0.000
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 228 228 276 849 0 0 0 0 -1
normalized size 1 1.00 1.21 3.72 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.240 11.255 1.388 0.000 0.651 0.000 0.000 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 138 178 0 0 0 0 -1
normalized size 1 1.00 1.30 1.68 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.022 0.222 1.357 0.000 31.823 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 255 255 259 852 0 0 0 0 -1
normalized size 1 1.00 1.02 3.34 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.320 7.747 1.490 0.000 0.539 0.000 0.000 0.000
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 347 347 1249 1209 0 0 0 0 -1
normalized size 1 1.00 3.60 3.48 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.333 6.153 1.450 0.000 26.217 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 318 318 259 1065 0 0 0 0 -1
normalized size 1 1.00 0.81 3.35 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.525 8.489 1.318 0.000 0.500 0.000 0.000 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 249 249 182 0 0 0 0 0 -1
normalized size 1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.387 0.336 4.120 0.000 0.487 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 190 190 134 0 0 0 0 0 -1
normalized size 1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.839 0.296 4.091 0.000 0.540 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 98 0 0 0 0 0 -1
normalized size 1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.158 0.111 2.644 0.000 0.469 0.000 0.000 0.000
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 232 232 687 0 0 0 0 0 -1
normalized size 1 1.00 2.96 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.259 5.967 1.976 0.000 0.498 0.000 0.000 0.000
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 405 405 1433 0 0 0 0 0 -1
normalized size 1 1.00 3.54 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.456 11.748 1.135 0.000 0.587 0.000 0.000 0.000
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 580 580 2700 0 0 0 0 0 -1
normalized size 1 1.00 4.66 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.592 17.973 1.220 0.000 0.844 0.000 0.000 0.000
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.068 7.695 1.134 0.000 0.841 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.062 0.521 1.083 0.000 0.635 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.070 2.633 1.022 0.000 0.684 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.071 2.798 0.991 0.000 0.928 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.044 3.378 2.441 0.000 0.803 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 562 0 0 0 0 0 -1
normalized size 1 1.00 3.75 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.126 8.934 2.723 0.000 0.695 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 155 0 0 0 0 0 -1
normalized size 1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.105 1.862 2.710 0.000 0.547 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 72 0 0 0 0 0 73
normalized size 1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 1.52
time (sec) N/A 0.039 0.536 0.987 0.000 0.550 0.000 0.000 1.386
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 132 0 0 0 0 0 -1
normalized size 1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.119 0.976 1.066 0.000 0.618 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 231 231 710 0 0 0 0 0 -1
normalized size 1 1.00 3.07 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.195 17.054 1.141 0.000 0.977 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.040 14.436 3.605 0.000 0.788 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.040 3.903 2.834 0.000 0.631 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 136 136 3614 0 0 0 0 0 -1
normalized size 1 1.00 26.57 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.165 18.459 1.135 0.000 0.761 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F(-1) F F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 424 0 6403 0 0 0 0 0 -1
normalized size 1 0.00 15.10 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.040 23.725 1.260 0.000 1.265 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.039 1.875 0.895 0.000 0.874 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.040 4.988 0.805 0.000 0.744 0.000 0.000 0.000
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.040 2.749 0.822 0.000 0.869 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.041 2.913 0.828 0.000 1.051 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 190 190 135 679 0 0 0 0 -1
normalized size 1 1.00 0.71 3.57 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.165 1.515 2.098 0.000 0.647 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 146 1522 0 0 0 0 -1
normalized size 1 1.00 0.86 9.01 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.162 1.280 1.664 0.000 1.525 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 111 291 0 0 0 0 -1
normalized size 1 1.00 0.92 2.40 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.137 0.854 1.629 0.000 0.848 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 130 1535 0 0 0 0 -1
normalized size 1 1.00 1.07 12.58 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.148 0.826 1.443 0.000 0.946 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 135 710 0 0 0 0 -1
normalized size 1 1.00 0.74 3.90 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.172 11.032 1.324 0.000 1.075 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 197 197 165 1529 0 0 0 0 -1
normalized size 1 1.00 0.84 7.76 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.172 1.507 1.316 0.000 1.402 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 270 270 195 745 0 0 0 0 -1
normalized size 1 1.00 0.72 2.76 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.334 3.862 1.814 0.000 0.786 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 240 240 195 1593 0 0 0 0 -1
normalized size 1 1.00 0.81 6.64 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.331 4.923 1.663 0.000 1.087 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 154 154 168 744 0 0 0 0 -1
normalized size 1 1.00 1.09 4.83 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.263 2.425 1.899 0.000 0.731 0.000 0.000 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 153 153 287 1605 0 0 0 0 -1
normalized size 1 1.00 1.88 10.49 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.272 8.523 1.435 0.000 1.471 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 222 222 164 763 0 0 0 0 -1
normalized size 1 1.00 0.74 3.44 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.313 7.816 1.334 0.000 1.333 0.000 0.000 0.000
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 236 236 152 1636 0 0 0 0 -1
normalized size 1 1.00 0.64 6.93 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.320 11.312 1.321 0.000 1.049 0.000 0.000 0.000
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 155 155 131 465 0 0 0 0 -1
normalized size 1 1.00 0.85 3.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.224 1.035 1.331 0.000 0.478 0.000 0.000 0.000
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 230 799 0 0 0 0 -1
normalized size 1 1.00 1.59 5.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.229 1.386 1.294 0.000 0.453 0.000 0.000 0.000
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 60 326 0 0 0 0 -1
normalized size 1 1.00 0.57 3.10 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.203 0.377 1.344 0.000 0.494 0.000 0.000 0.000
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 95 536 0 0 0 0 -1
normalized size 1 1.00 0.96 5.41 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.211 0.617 1.171 0.000 0.478 0.000 0.000 0.000
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 70 195 0 0 0 0 -1
normalized size 1 1.00 0.66 1.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.227 0.395 1.146 0.000 0.583 0.000 0.000 0.000
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 100 551 0 0 0 0 -1
normalized size 1 1.00 0.83 4.59 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.222 0.830 1.398 0.000 0.495 0.000 0.000 0.000
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 91 221 0 0 0 0 -1
normalized size 1 1.00 0.61 1.48 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.254 0.578 1.228 0.000 0.527 0.000 0.000 0.000
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 268 268 115 609 0 0 0 0 -1
normalized size 1 1.00 0.43 2.27 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.505 1.199 1.402 0.000 0.476 0.000 0.000 0.000
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 250 250 247 1044 0 0 0 0 -1
normalized size 1 1.00 0.99 4.18 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.493 1.832 1.343 0.000 0.613 0.000 0.000 0.000
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 82 474 0 0 0 0 -1
normalized size 1 1.00 0.41 2.36 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.448 0.747 1.555 0.000 0.540 0.000 0.000 0.000
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 252 811 0 0 0 0 -1
normalized size 1 1.00 1.27 4.08 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.469 1.599 1.303 0.000 0.501 0.000 0.000 0.000
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 213 101 332 0 0 0 0 -1
normalized size 1 1.00 0.47 1.56 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.475 0.557 1.230 0.000 0.506 0.000 0.000 0.000
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 125 563 0 0 0 0 -1
normalized size 1 1.00 0.58 2.62 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.471 2.145 1.304 0.000 0.703 0.000 0.000 0.000
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 172 94 224 0 0 0 0 -1
normalized size 1 1.00 0.55 1.30 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.463 2.202 1.236 0.000 0.737 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [241] had the largest ratio of [.6400]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 5 4 1.00 19 0.210
2 A 5 4 1.00 19 0.210
3 A 5 4 1.00 19 0.210
4 A 5 4 1.00 19 0.210
5 A 4 3 1.00 17 0.176
6 A 6 6 1.00 17 0.353
7 A 5 4 1.00 19 0.210
8 A 5 4 1.00 19 0.210
9 A 5 4 1.00 19 0.210
10 A 11 7 1.00 19 0.368
11 A 10 7 1.00 19 0.368
12 A 9 7 1.00 19 0.368
13 A 7 7 1.00 19 0.368
14 A 7 7 1.00 19 0.368
15 A 8 6 1.00 19 0.316
16 A 8 6 1.00 19 0.316
17 A 8 6 1.00 19 0.316
18 A 8 6 1.00 19 0.316
19 A 5 4 1.00 21 0.190
20 A 5 4 1.00 21 0.190
21 A 5 4 1.00 21 0.190
22 A 5 4 1.00 21 0.190
23 A 5 4 1.00 19 0.210
24 A 5 4 1.00 19 0.210
25 A 5 4 1.00 21 0.190
26 A 5 4 1.00 21 0.190
27 A 5 4 1.00 21 0.190
28 A 5 4 1.00 21 0.190
29 A 27 8 1.00 21 0.381
30 A 18 8 1.00 21 0.381
31 A 14 8 1.00 21 0.381
32 A 9 7 1.00 21 0.333
33 A 11 9 1.00 21 0.429
34 A 8 8 1.00 21 0.381
35 A 12 8 1.00 21 0.381
36 A 12 8 1.00 21 0.381
37 A 12 8 1.00 21 0.381
38 A 5 4 1.00 21 0.190
39 A 5 4 1.00 21 0.190
40 A 5 4 1.00 21 0.190
41 A 4 3 1.00 21 0.143
42 A 5 4 1.00 19 0.210
43 A 5 4 1.00 19 0.210
44 A 5 4 1.00 21 0.190
45 A 5 4 1.00 21 0.190
46 A 5 4 1.00 21 0.190
47 A 5 4 1.00 21 0.190
48 A 29 9 1.00 21 0.429
49 A 18 9 1.00 21 0.429
50 A 16 9 1.00 21 0.429
51 A 11 8 1.00 21 0.381
52 A 9 7 1.00 21 0.333
53 A 11 8 1.00 21 0.381
54 A 10 9 1.00 21 0.429
55 A 17 9 1.00 21 0.429
56 A 17 9 1.00 21 0.429
57 A 7 6 1.00 21 0.286
58 A 7 6 1.00 21 0.286
59 A 7 6 1.00 21 0.286
60 A 6 5 1.00 21 0.238
61 A 5 4 1.00 19 0.210
62 A 6 6 1.00 19 0.316
63 A 7 7 1.00 21 0.333
64 A 8 7 1.00 21 0.333
65 A 9 7 1.00 21 0.333
66 A 8 7 1.00 21 0.333
67 A 7 7 1.00 21 0.333
68 A 5 5 1.00 21 0.238
69 A 6 5 1.00 21 0.238
70 A 7 6 1.00 21 0.286
71 A 7 6 1.00 21 0.286
72 A 7 6 1.00 21 0.286
73 A 7 6 1.00 21 0.286
74 A 5 4 1.00 21 0.190
75 A 5 4 1.00 21 0.190
76 A 5 4 1.00 21 0.190
77 A 5 4 1.00 21 0.190
78 A 5 4 1.00 21 0.190
79 A 5 4 1.00 19 0.210
80 A 6 5 1.00 19 0.263
81 A 4 4 1.00 21 0.190
82 A 6 5 1.00 21 0.238
83 A 16 8 1.00 21 0.381
84 A 7 6 1.00 21 0.286
85 A 11 6 1.00 21 0.286
86 A 9 8 1.00 21 0.381
87 A 11 6 1.00 21 0.286
88 A 13 7 1.00 21 0.333
89 A 13 7 1.00 21 0.333
90 A 13 7 1.00 21 0.333
91 A 5 4 1.00 21 0.190
92 A 5 4 1.00 21 0.190
93 A 5 4 1.00 21 0.190
94 A 5 4 1.00 21 0.190
95 A 5 4 1.00 21 0.190
96 A 5 4 1.00 19 0.210
97 A 6 5 1.00 19 0.263
98 A 5 4 1.00 21 0.190
99 A 6 5 1.00 21 0.238
100 A 19 9 1.00 21 0.429
101 A 15 6 1.00 21 0.286
102 A 13 8 1.00 21 0.381
103 A 10 8 1.00 21 0.381
104 A 15 8 1.00 21 0.381
105 A 16 7 1.00 21 0.333
106 A 16 7 1.00 21 0.333
107 A 16 7 1.00 21 0.333
108 A 11 11 1.00 23 0.478
109 A 11 11 1.00 23 0.478
110 A 9 9 1.00 23 0.391
111 A 9 9 1.00 23 0.391
112 A 11 11 1.00 23 0.478
113 A 11 11 1.00 23 0.478
114 A 15 12 1.00 25 0.480
115 A 15 12 1.00 25 0.480
116 A 13 10 1.00 25 0.400
117 A 13 10 1.00 25 0.400
118 A 16 13 1.00 25 0.520
119 A 16 13 1.00 25 0.520
120 A 8 8 1.00 25 0.320
121 A 7 7 1.00 25 0.280
122 A 7 7 1.00 25 0.280
123 A 7 7 1.00 25 0.280
124 A 7 7 1.00 25 0.280
125 A 8 8 1.00 25 0.320
126 A 8 8 1.00 25 0.320
127 A 14 8 1.00 25 0.320
128 A 14 9 1.00 25 0.360
129 A 14 9 1.00 25 0.360
130 A 15 9 1.00 25 0.360
131 A 15 9 1.00 25 0.360
132 A 17 9 1.00 25 0.360
133 A 17 9 1.00 25 0.360
134 A 9 6 1.00 23 0.261
135 A 7 6 1.00 23 0.261
136 A 5 5 1.00 21 0.238
137 A 5 5 1.00 23 0.217
138 A 9 6 1.00 23 0.261
139 A 12 7 1.00 23 0.304
140 A 5 4 1.00 25 0.160
141 A 5 4 1.00 25 0.160
142 A 5 4 1.00 25 0.160
143 A 5 4 1.00 25 0.160
144 A 5 4 1.00 23 0.174
145 A 4 4 1.00 21 0.190
146 A 4 4 1.00 21 0.190
147 A 3 3 1.00 21 0.143
148 A 2 2 1.00 19 0.105
149 A 2 2 1.00 19 0.105
150 A 4 4 1.00 21 0.190
151 A 5 5 1.00 21 0.238
152 A 11 9 1.00 21 0.429
153 A 6 5 1.00 21 0.238
154 A 4 4 1.00 21 0.190
155 A 7 6 1.00 21 0.286
156 A 5 4 1.00 23 0.174
157 A 5 4 1.00 23 0.174
158 A 5 4 1.00 23 0.174
159 A 5 4 1.00 23 0.174
160 A 5 4 1.00 19 0.210
161 A 5 4 1.00 19 0.210
162 A 5 4 1.00 19 0.210
163 A 4 3 1.00 17 0.176
164 A 5 5 1.00 17 0.294
165 A 7 6 1.00 19 0.316
166 A 9 7 1.00 19 0.368
167 A 10 7 1.00 19 0.368
168 A 10 7 1.00 19 0.368
169 A 9 7 1.00 19 0.368
170 A 7 7 1.00 19 0.368
171 A 7 7 1.00 19 0.368
172 A 8 6 1.00 19 0.316
173 A 8 6 1.00 19 0.316
174 A 5 4 1.00 21 0.190
175 A 5 4 1.00 21 0.190
176 A 5 4 1.00 19 0.210
177 A 5 4 1.00 19 0.210
178 A 6 5 1.00 21 0.238
179 A 12 10 1.00 21 0.476
180 A 7 7 1.00 21 0.333
181 A 10 8 1.00 21 0.381
182 A 8 6 1.00 21 0.286
183 A 9 6 1.00 21 0.286
184 A 9 6 1.00 21 0.286
185 A 5 4 1.00 21 0.190
186 A 4 3 1.00 21 0.143
187 A 5 4 1.00 19 0.210
188 A 5 4 1.00 19 0.210
189 A 6 5 1.00 21 0.238
190 A 21 11 1.00 21 0.524
191 A 8 7 1.00 21 0.333
192 A 8 8 1.00 21 0.381
193 A 15 10 1.00 21 0.476
194 A 17 9 1.00 21 0.429
195 A 17 9 1.00 21 0.429
196 A 5 4 1.00 21 0.190
197 A 5 4 1.00 21 0.190
198 A 5 4 1.00 21 0.190
199 A 5 4 1.00 19 0.210
200 A 4 3 1.00 19 0.158
201 A 6 5 1.00 21 0.238
202 A 7 5 1.00 21 0.238
203 A 7 5 1.00 21 0.238
204 A 6 5 1.00 21 0.238
205 A 5 5 1.00 21 0.238
206 A 5 5 1.00 21 0.238
207 A 6 5 1.00 21 0.238
208 A 7 5 1.00 21 0.238
209 A 5 4 1.00 21 0.190
210 A 5 4 1.00 21 0.190
211 A 5 4 1.00 21 0.190
212 A 5 4 1.00 19 0.210
213 A 5 4 1.00 19 0.210
214 A 6 5 1.00 21 0.238
215 A 7 5 1.00 21 0.238
216 A 10 8 1.00 21 0.381
217 A 8 7 1.00 21 0.333
218 A 8 8 1.00 21 0.381
219 A 11 7 1.00 21 0.333
220 A 15 8 1.00 21 0.381
221 A 5 4 1.00 21 0.190
222 A 5 4 1.00 21 0.190
223 A 5 4 1.00 21 0.190
224 A 5 4 1.00 19 0.210
225 A 5 4 1.00 19 0.210
226 A 5 4 1.00 21 0.190
227 A 7 5 1.00 21 0.238
228 A 11 8 1.00 21 0.381
229 A 9 7 1.00 21 0.333
230 A 9 8 1.00 21 0.381
231 A 16 8 1.00 21 0.381
232 A 20 9 1.00 21 0.429
233 A 15 12 1.00 25 0.480
234 A 14 12 1.00 25 0.480
235 A 14 12 1.00 25 0.480
236 A 13 11 1.00 25 0.440
237 A 13 11 1.00 25 0.440
238 A 14 12 1.00 25 0.480
239 A 14 12 1.00 25 0.480
240 A 15 12 1.00 25 0.480
241 A 35 16 1.00 25 0.640
242 A 35 16 1.00 25 0.640
243 A 32 15 1.00 25 0.600
244 A 32 15 1.00 25 0.600
245 A 27 13 1.00 25 0.520
246 A 27 13 1.00 25 0.520
247 A 33 16 1.00 25 0.640
248 A 33 16 1.00 25 0.640
249 A 1 1 1.00 14 0.071
250 A 2 2 1.00 23 0.087
251 A 5 5 1.00 14 0.357
252 A 4 4 1.00 23 0.174
253 A 1 1 1.00 14 0.071
254 A 6 6 1.00 23 0.261
255 A 6 6 1.00 14 0.429
256 A 6 6 1.00 23 0.261
257 A 9 6 1.00 23 0.261
258 A 9 8 1.00 23 0.348
259 A 5 5 1.00 21 0.238
260 A 4 4 1.00 23 0.174
261 A 6 4 1.00 23 0.174
262 A 7 4 1.00 23 0.174
263 A 0 0 0.00 0 0.000
264 A 0 0 0.00 0 0.000
265 A 0 0 0.00 0 0.000
266 A 0 0 0.00 0 0.000
267 A 0 0 0.00 0 0.000
268 A 6 3 1.00 21 0.143
269 A 3 3 1.00 21 0.143
270 A 2 2 1.00 19 0.105
271 A 6 4 1.00 19 0.210
272 A 9 4 1.00 21 0.190
273 A 0 0 0.00 0 0.000
274 A 0 0 0.00 0 0.000
275 A 4 4 1.00 21 0.190
276 F 0 0 N/A 0 N/A
277 A 0 0 0.00 0 0.000
278 A 0 0 0.00 0 0.000
279 A 0 0 0.00 0 0.000
280 A 0 0 0.00 0 0.000
281 A 11 11 1.00 23 0.478
282 A 11 11 1.00 23 0.478
283 A 9 9 1.00 23 0.391
284 A 9 9 1.00 23 0.391
285 A 11 11 1.00 23 0.478
286 A 11 11 1.00 23 0.478
287 A 15 13 1.00 25 0.520
288 A 15 13 1.00 25 0.520
289 A 12 10 1.00 25 0.400
290 A 12 10 1.00 25 0.400
291 A 14 12 1.00 25 0.480
292 A 14 12 1.00 25 0.480
293 A 8 8 1.00 25 0.320
294 A 8 8 1.00 25 0.320
295 A 7 7 1.00 25 0.280
296 A 7 7 1.00 25 0.280
297 A 7 7 1.00 25 0.280
298 A 7 7 1.00 25 0.280
299 A 8 8 1.00 25 0.320
300 A 16 9 1.00 25 0.360
301 A 16 9 1.00 25 0.360
302 A 14 9 1.00 25 0.360
303 A 14 9 1.00 25 0.360
304 A 13 9 1.00 25 0.360
305 A 13 9 1.00 25 0.360
306 A 13 8 1.00 25 0.320

[next] [prev] [prev-tail] [front] [up]